<?php

class Core_Filter_Exception extends Core_Exception
{}